Containment

A Parameterized Weighted Containment

Partially-specified systems and specifications are used in formal methods such as stepwise design and query checking. Existing methods consider a setting in which systems and their correctness are Boolean. In recent years there has been growing interest and need for quantitative formal methods, where systems may be weighted and specifications may be multi valued. Weighted automata, which map in...

Set Containment Characterization

Characterization of the containment of a polyhedral set in a closed halfspace, a key factor in generating knowledge-based support vector machine classifiers [7], is extended to the following: (i) Containment of one polyhedral set in another. (ii) Containment of a polyhedral set in a reverse-convex set defined by convex quadratic constraints. (iii) Containment of a general closed convex set, def...

Learning Containment Metaphors

We present a computational approach that traces the developmental process, from containment image schemas to metaphor, in four phases: a) perceptual discovery of image schemas, b) associating perceptual arguments and the relation with linguistic units, c) discovering a linguistic structure encoding the schema, and finally d) enriching the semantics of the schema via extended language usage (via...

Multiple Containment Methods

We present three diierent methods for nding solutions to the 2D translation-only containment problem: nd translations for k polygons that place them inside a given polygonal container without overlap. Both the container and the polygons to be placed in it may be nonconvex. First, we provide several exact algorithms that improve results for k = 2 or k = 3. In particular, we give an algorithm for...

Health care cost containment.